R-state-var-init(i;ds;da;x;T;v;ks;tr) == R-state-var(i;ds;da;x;T;ks;tr)  @i x initially v:T 

latex

Definitions	left  right, R-state-var(i;ds;da;x;T;ks;tr), @loc x initially v:T
FDL editor aliases	R-state-var-init